Paradeduction in Axiomatic Formal Systems
نویسندگان
چکیده
The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one.
منابع مشابه
Model Meta - Object Model
High assurance security is extremely diicult to acheive in distributed computer systems due to their inherent non-determinism and heterogeneity. The practical application of formal methods is the key to high assurance security in open, distributed environments. This paper presents a methodology that applies formal methods within a dual framework to achieve secure interoperation of heterogeneous...
متن کاملA Dual Framework for High Assurance Distributed Object Security
High assurance security is extremely di cult to acheive in distributed computer systems due to their inherent non-determinism and heterogeneity. The practical application of formal methods is the key to high assurance security in open, distributed environments. This paper presents a methodology that applies formal methods within a dual framework to achieve secure interoperation of heterogeneous...
متن کاملAxiomatic Theory of Design Modeling
In this paper, an axiomatic theory is established for studying design. Using this theory, a formal model of design is derived to represent the syntactic structure of hierarchical evolving design objects and the dynamic design process. The axiomatic theory can be used by design theorists and computer scientists as a formal logical tool to model design whereas the derived formal model can be used...
متن کاملFrom Behavioral Specification to Axiomatic Description of Real-Time Reactive Systems
Formal verification of time-dependent properties is crucial in the development of real-time reactive systems for safety-critical applications. Systems modeled in UML (Unified Modeling Language) result in graphic descriptions of the static structure and dynamic behavior of a system and its components. Generating a formal specification from the UML models supports rigorous techniques for validati...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017